python type hints array